Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
31	THE CALL-BY-NEED LAMBDA CALCULUS, REVISITED Stephen Chang and Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu - Date: 2012-08-23 02:21:20
32	Characteristic Formulae for Session Types Julien Lange and Nobuko Yoshida Imperial College London Abstract. Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language i Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2016-08-22 17:55:56 Software engineering Computability theory Object-oriented programming Polymorphism Subtyping Type theory Theoretical computer science Characteristic function Lambda calculus Computing
33	Towards a Bigraphical Encoding of Actors Michele Sevegnani1,⋆ and Eloi Pereira2,3,⋆⋆ 1 3 Add to Reading List Source URL: cpcc.berkeley.edu Language: English - Date: 2016-06-12 17:08:37 Formal methods Theoretical computer science Bigraph Academia Lambda calculus Computer science Symbol
34	EigenCFA: Accelerating Flow Analysis with GPUs Tarun Prabhu, Shreyas Ramalingam, Matthew Might, Mary Hall University of Utah, Salt Lake City, Utah, USA {tarunp,sramalin,might,mhall}@cs.utah.edu Abstract Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2011-01-29 22:45:19 Algebra Mathematics Linear algebra Matrix theory Numerical linear algebra Matrices Matrix Lambda calculus
35	Composing ComposingContracts: contracts: An Adventure in Financial Engineering Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2001-11-22 11:58:10 Lambda calculus Quantum mechanics Combinatory logic Logic in computer science Futures contract Forward contract Government procurement in the United States Derivative Observable
36	Fuzzing the Rust Typechecker Using CLP Kyle Dewey Jared Roesch Ben Hardekopf Add to Reading List Source URL: jroesch.github.io Language: English - Date: 2016-04-16 20:16:50 Software engineering Type theory Computing Programming language theory Type system CurryHoward correspondence Typed lambda calculus Simply typed lambda calculus Type rule Type safety Typing environment Go
37	INTRODUCTION TO MEANING AND THE DYNAMICS OF INTERPRETATION Alice ter Meulen and Klaus von Heusinger This selection of original papers written by Hans Kamp—philosopherlinguist-logician-cognitive-scientist and computer-s Add to Reading List Source URL: gerlin.phil-fak.uni-koeln.de Language: English - Date: 2016-01-26 05:29:24 Philosophy Logic Semantics Abstraction Philosophical logic Grammar Meaning Lambda calculus Hans Kamp Presupposition Montague grammar Temporal logic
38	From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-08-23 01:56:39 Software engineering Computer programming Computing Functional languages Evaluation strategy Computability theory Lambda calculus Theoretical computer science Lazy evaluation Functional programming ALGOL 68 Racket
39	Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2010-01-13 17:46:38 Software engineering Computer programming Computing Functional languages Subroutines Procedural programming languages Data types Lambda calculus Scheme Lisp Anonymous function Scope
40	Microsoft PowerPoint - Lect02Scheme.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-12 12:47:00 Software engineering Programming language theory Lambda calculus Computer programming Scheme Structure and Interpretation of Computer Programs Anonymous function Square root Nth root